🔍 Static Analysis - Jullang · Scour

Build a Compiler in Five Projects

kmicinski.com·3h

🏗️Compiler Design

codx-dev/msgpacker: MessagePack serializer implementation for Rust / msgpack.org[Rust]

github.com·23h·

Discuss: Hacker News

🏗️Compiler Design

Agentic Proof-Oriented Programming

risemsr.github.io·1d·

Discuss: Lobsters, Hacker News

λFunctional Programming

Processes and Threads - Discourse on Concurrency, Part I

ayanmali.substack.com·1d·

Discuss: Substack

🔓Lock-free Algorithms

Securing GenAI: Vol. 8 — Deploying AI apps securely

pub.towardsai.net·11h

Building a Claude Code skill

sevalla.com·3d

💻Programming

Flow-Based Programming: Seminal Texts and Theoretical Foundations

repolex.ai·1d·

Discuss: Hacker News

🏗️Language Design

Mad Rust: The JVM Developer's Journey. Kotlin/Java Developer's Road to Valhalla

sobolev.substack.com·3d·

Discuss: Substack

λFunctional Programming

My Current AI Coding Workflow

jonathannen.com·1d

en.wikipedia.org·5d·

Discuss: Lobsters

🔗Dependent Types

Finding the needle in the logstack: Reducing LLM context with TF-IDF

eliseomartelli.it·1d

🔢Linear Types

From Monolithic SoCs To Chiplets: A New Hardware Security Paradigm

semiengineering.com·2d

A Modern Python Stack for Data Projects (uv + ruff + ty + Marimo + Polars)

mameli.dev·2d·

Discuss: r/programming

Hello, World! - The Rust Programming Language

doc.rust-lang.org·4d

michaelhelvey/lilfuture: Educational async runtime for Rust

github.com·1d

Beta Release: Predicated Recursive Descent for Rust

wareya.wordpress.com·5d·

Discuss: Hacker News

🏗️Compiler Design

Data Integration

databricks.com·3d

Optimized LLM Inference Engines

rishirajacharya.com·2d

🏗️Compiler Design

a Pingora-based reverse proxy (inspired by River)

sentinel.raskell.io·3d·

Discuss: Hacker News

How LSP Works: Building a Grammar Checker LSP from Scratch in Rust

aroy.sh·4d·

Discuss: Hacker News

🏗️Compiler Design

Loading more...